Correction to: Monosynaptic inference via finely-timed spikes
نویسندگان
چکیده
Correction to: Journal of Computational Neuroscience
منابع مشابه
Learning Precisely Timed Spikes
To signal the onset of salient sensory features or execute well-timed motor sequences, neuronal circuits must transform streams of incoming spike trains into precisely timed firing. To address the efficiency and fidelity with which neurons can perform such computations, we developed a theory to characterize the capacity of feedforward networks to generate desired spike sequences. We find the ma...
متن کاملInference of Timed Transition Systems
We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed transition systems. More specifically, we describe a procedure for inferring systems that can be described by event-recording automata by asking a sequence of membership queries (does the system accept a given timed word?) and equivalence queries (is a hypothesized description equivalent to the corre...
متن کاملFinely-Competitive Paging
We construct an online algorithm for paging that achieves an O(r + log k) competitive ratio when compared to an offline strategy that is allowed the additional ability to “rent” pages at a cost of 1=r. In contrast, the competitive ratio of the Marking algorithm for this scenario is O(r log k). Our algorithm can be thought of in the standard setting as having a “fine-grained” competitive ratio, ...
متن کاملstatistical inference via empirical bayes approach for stationary and dynamic contingency tables
چکیده ندارد.
15 صفحه اولVerifying Security Protocols with Timestamps via Translation to Timed Automata
In this paper we show a general method of proving authentication and integrity of time dependent security protocols by applying powerful model checking tools originally developed for verifying properties of timed automata. Our approach consists in specifying a security protocol, possibly with timestamps, in a higher-level language and translating automatically the specification to a timed autom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational Neuroscience
سال: 2021
ISSN: ['0929-5313', '1573-6873']
DOI: https://doi.org/10.1007/s10827-021-00783-8